Model Based Testing for Workflow Enabled Applications Pruebas Basadas en Modelos para Aplicaciones Basadas en Workflows

In recent years, workflow enabled applications have been used in an increasing number of contexts. This has required the swift development of new workflow languages and of their corresponding engines. However, the tools available to support the development of these engines are insufficient. In particular, the tools to test the implementation of engines have serious limitations, and are not well suited to test workflows. To address this problem we have developed ATF, a framework to build test environments and test suites for workflow engines. ATF is complemented by TDR, a roadmap that specifies the steps to adapt ATF to specific workflow languages and engines; TDR also specifies the steps to develop a complete test suite. This paper presents both the ATF and the TDR, and illustrates their usage in the context of a workflow engine built using the Cumbia platform.